DESCRIPTION:

Start a loop block named label. The block will be repeated
as long as condition is true. An empty condition is always
true.